@article(
MitchJFP91,author="Mitchell, J.C.", 
        Title="Type inference with simple subtypes",
	journal="J. Functional Programming",
	Volume="1",Number="3",Year="1991",pages="245--286",
	Note="Preliminary version appeared in
   {\it Proc. 11th ACM Symp. on Principles of 
        Programming Languages,} 1984, 175-185")


	@inproceedings(
Mitch84,Author="Mitchell, J.C.",
	Title="Coercion and Type Inference (Summary)",
	Booktitle="Proc. 11th ACM Symp. on Principles of 
	Programming  Languages",
	Month="January",Year="1984", Pages="175-185")